Privacy-Enhanced AKMA for Multi-Access Edge Computing Mobility

Multi-access edge computing (MEC) is an emerging technology of 5G that brings cloud benefits closer to the user. The current specifications MEC describe connectivity mobile users and host, but they have issues with application-level security privacy. We consider how provide secure privacy-preserving communication channels between a user application in non-roaming case. It includes protocols for registration main server application, renewal shared key, usage host when stationary or mobile. For these protocols, we designed privacy-enhanced version authentication key management applications (AKMA) service. formally verified specification AKMA using ProVerif found new spoofing attack as well other privacy vulnerabilities. Then propose fix against attack. considering shortcomings. adapted it our solution.